Comparison of Qpe and Qsim as Qualitative Reasoning Techniques
نویسندگان
چکیده
ii ABSTRACf Qualitative reasoning predicts and explains the behavior of physical systems using the system's structure through modeling and simulation. There are several approaches to qualitative reasoning. Two of the most prominent software implementations are QPE (Qualitative Process Engine) by Forbus and QSIM (Qualitative Simulation) by Kuipers. A comparison of the two systems is done on the basis of representation and reasoning ability of physical systems. The standard examples in qualitative reasoning and examples in fatigue and fracture in metals are used in the comparison. The fatigue and fracture domain of study can serve as a prototype for other related models of material behavior. A thorough comparison of QSIM and QPE identifies future directions of qualitative reasoning development. iii ACKNOWLEDGEMENTS
منابع مشابه
PC: A Compiler from Physical Models into Qualit at ive Different ial Equations*
Qualitative reasoning can, and should, be decomposed into a model-buibding task, which creates a qualitative differential equation (&DE) as a model of a physical situation, and a qualitative simuhtion task, which starts with a QDE, and predicts the possible behaviors following from the model. In support of this claim, we present &PC, a model builder that takes the general approach of Qualitativ...
متن کاملLevel sensor Outflow sensor
Most model-based diagnosis systems, such as GDE and Sherlock, have concerned discrete, static systems such as logic circuits and use simple constraint propagation to detect inconsistencies. However, sophisticated systems such as QSIM and QPE have been developed for qualitative modeling and simulation of continuous dynamic systems. We present an integration of these two lines of research as impl...
متن کاملQPC: A Compiler from Physical Models into Qualitative Differential Equations
Qualitative reasoning can, and should, be decomposed into a model-building task, which creates a qualitative differential equation (QDE) as a model of a physical situation, and a qualitative simulation task, which starts with a QDE . and predicts the possible behaviors following from the model . In support of this claim, we present QPC, a model builder that takes the general approach of Qualita...
متن کاملThirteenth National Conference on Artificial Intelligence ( AAAI - 96 ) Qualitative Multiple - Fault Diagnosis of Continuous Dynamic
Most model-based diagnosis systems, such as GDE and Sherlock, have concerned discrete, static systems such as logic circuits and use simple constraint propagation to detect inconsistencies. However, sophisticated systems such as QSIM and QPE have been developed for qualitative modeling and simulation of continuous dynamic systems. We present an integration of these two lines of research as impl...
متن کاملualitative Multi iagnosis of Continuous ehavioral Modes
Most model-based diagnosis systems, such as GDE and Sherlock, have concerned discrete, static systems such as logic circuits and use simple constraint propagation to detect inconsistencies. However, sophisticated systems such as QSIM and QPE h ave been developed for qualitative modeling and simulation of continuous dynamic systems. We present an integration of these two lines of research as imp...
متن کامل